home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Environments / PowerMacOberon feb96 / Text / Analyzer.Tool (.txt) next >
Encoding:
Oberon Text  |  1994-07-07  |  2.0 KB  |  46 lines  |  [TEXT/.Ob4]
  1. Syntax10.Scn.Fnt
  2. ParcElems
  3. Alloc
  4. Syntax10i.Scn.Fnt
  5. LineElems
  6. Alloc
  7. Analyzer.Analyze *
  8. Analyzer.Analyze */inruvx    full analysis
  9. The Analyzer will attempt to locate possible programming errors such as
  10. uninitialized variables in a procedure.
  11. Analyzer.Analyze (("*" | "@") ["/" opt] | {name ["/" opt]} "~" | "^")
  12. Options (complementing each other):
  13. i    redeclaration of/use of/assignment to intermediate items 
  14. n    number of statements in module
  15. r     redefinition of type bound procedures
  16. u    used before set for different scopes
  17. v    use of var parameters
  18. x    use/initialization of exported items
  19. Analyzer.Analyze marks by default
  20. - all non-exported variables/constants/types/fields that are declared
  21.     but never used, used before being initialized (*), never initialized, and
  22.     initialized but never used.
  23. - non-exported [type-bound] procedures that are never called.
  24. - modules that are imported but never used.
  25. (*) For variables declared in a different scope, no warning is
  26. produced (see option /u, however).
  27. /i(ntermediate) additionally marks
  28. - items that are declared already in an outer scope.
  29. - the use of or assignment to intermediate items (e.g. local
  30.    variables/parameters declared in an outer scope).
  31. /n(umber) reports
  32. - the number of statements (assignments, if, while, etc., proc
  33.     calls) in the module. This is convenient for determining the complexity
  34.     of a program (instead of lines of code).
  35. /r(edefinition) additionally marks
  36. - the redefinition of type bound procedures.
  37. /u(sed) additionally marks
  38. - 'used before set' for variables declared in a different scope.
  39. /v(arpar) additionally marks
  40. - variables that are used as var parameters and are therefore not
  41.    ensured to be initialized.
  42. /x (eXported) additionally marks
  43. - exported items that are declared but not used by the module itself,
  44.    used before being initialized, never initialized, and initialized but never
  45.    used.
  46.